[INFO] fetching crate logician 0.1.0...
[INFO] testing logician-0.1.0 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate logician 0.1.0 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate logician 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate logician 0.1.0
[INFO] tweaked toml for crates.io crate logician 0.1.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate logician 0.1.0 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate logician 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded kill_tree v0.1.5
[INFO] [stderr]   Downloaded target-triple v1.0.0
[INFO] [stderr]   Downloaded zmij v1.0.18
[INFO] [stderr]   Downloaded trybuild v1.0.115
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.37
[INFO] [stderr]   Downloaded bindgen v0.69.5
[INFO] [stderr]   Downloaded nix v0.27.1
[INFO] [stderr]   Downloaded zerocopy v0.8.37
[INFO] [stderr]   Downloaded windows v0.52.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 54b7e4a10dc715cb845c0f04d0353ffa431464b26c13a2e6483e6f91a858a846
[INFO] running `Command { std: "docker" "start" "-a" "54b7e4a10dc715cb845c0f04d0353ffa431464b26c13a2e6483e6f91a858a846", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "54b7e4a10dc715cb845c0f04d0353ffa431464b26c13a2e6483e6f91a858a846", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "54b7e4a10dc715cb845c0f04d0353ffa431464b26c13a2e6483e6f91a858a846", kill_on_drop: false }`
[INFO] [stdout] 54b7e4a10dc715cb845c0f04d0353ffa431464b26c13a2e6483e6f91a858a846
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b5e96aaec4ce300cc16b0da7473f42521cb537fd245b19151fe3d7af5187ed42
[INFO] running `Command { std: "docker" "start" "-a" "b5e96aaec4ce300cc16b0da7473f42521cb537fd245b19151fe3d7af5187ed42", kill_on_drop: false }`
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling bytes v1.11.0
[INFO] [stderr]    Compiling kill_tree v0.1.5
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling socket2 v0.6.2
[INFO] [stderr]    Compiling nix v0.27.1
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling logician v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 16.68s
[INFO] running `Command { std: "docker" "inspect" "b5e96aaec4ce300cc16b0da7473f42521cb537fd245b19151fe3d7af5187ed42", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5e96aaec4ce300cc16b0da7473f42521cb537fd245b19151fe3d7af5187ed42", kill_on_drop: false }`
[INFO] [stdout] b5e96aaec4ce300cc16b0da7473f42521cb537fd245b19151fe3d7af5187ed42
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 698850f1c710ed077dbdb3ddf794344b919c6639d7813f6cd05a26c0a5e8b5bd
[INFO] running `Command { std: "docker" "start" "-a" "698850f1c710ed077dbdb3ddf794344b919c6639d7813f6cd05a26c0a5e8b5bd", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.37
[INFO] [stderr]    Compiling zmij v1.0.18
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling zerocopy-derive v0.8.37
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling toml_parser v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling nix v0.27.1
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]    Compiling clap_builder v4.5.56
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling toml v0.9.11+spec-1.1.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling kill_tree v0.1.5
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling logician v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling clap v4.5.56
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling trybuild v1.0.115
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.34s
[INFO] running `Command { std: "docker" "inspect" "698850f1c710ed077dbdb3ddf794344b919c6639d7813f6cd05a26c0a5e8b5bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "698850f1c710ed077dbdb3ddf794344b919c6639d7813f6cd05a26c0a5e8b5bd", kill_on_drop: false }`
[INFO] [stdout] 698850f1c710ed077dbdb3ddf794344b919c6639d7813f6cd05a26c0a5e8b5bd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5f0e26d573a8f8de2dceedee8863998b821bc26c2c1e289bb3f6115681130ace
[INFO] running `Command { std: "docker" "start" "-a" "5f0e26d573a8f8de2dceedee8863998b821bc26c2c1e289bb3f6115681130ace", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logician-e051e06ad29738d6)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mod.rs (/opt/rustwide/target/debug/deps/mod-6e977e29d950f745)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test c_global_audit ... ok
[INFO] [stdout] test c_serializer_contract ... ok
[INFO] [stdout] test c_term_arity ... ok
[INFO] [stdout] test e_init_build ... ok
[INFO] [stdout] test c_skeleton_contract ... ok
[INFO] [stdout] test c_coverage_audit ... ok
[INFO] [stdout] test e_parser_z3_model ... ok
[INFO] [stdout] test c_model_contract ... ok
[INFO] [stdout] test e_integration_example ... ok
[INFO] [stdout] test c_fallback_safety ... ok
[INFO] [stdout] test p_response_construct ... ok
[INFO] [stdout] test p_driver_construct ... ok
[INFO] [stdout] test p_parser_robustness ... ok
[INFO] [stdout] test p_term_sort_props ... ok
[INFO] [stdout] test e_invariant_panic - should panic ... ok
[INFO] [stdout] test e_builder_invalid - should panic ... ok
[INFO] [stdout] test p_invariant_tag_props ... ok
[INFO] [stdout] test p_serialize_parse ... ok
[INFO] [stdout] test p_error_construct ... ok
[INFO] [stdout] test p_builder_chain_props ... ok
[INFO] [stdout] test p_incremental_consistency ... ok
[INFO] [stdout] test e_driver_watchdog ... ok
[INFO] [stdout] test p_fallback_equiv ... ok
[INFO] [stdout] test p_driver_io ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.74s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests logician
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test src/invariant.rs - invariant (line 35) ... ignored
[INFO] [stdout] test src/lib.rs - (line 12) - compile ... ok
[INFO] [stdout] test src/driver.rs - driver (line 14) - compile ... ok
[INFO] [stdout] test src/solver.rs - solver (line 14) - compile ... ok
[INFO] [stdout] test src/driver.rs - driver::launch (line 145) - compile ... ok
[INFO] [stdout] test src/multisolver.rs - multisolver (line 20) - compile ... ok
[INFO] [stdout] test src/driver.rs - driver::Config (line 91) ... ok
[INFO] [stdout] test src/invariant.rs - invariant::get_invariant_tags (line 81) ... ok
[INFO] [stdout] test src/term.rs - term::Term (line 171) ... ok
[INFO] [stdout] test src/term.rs - term::Sort (line 46) ... ok
[INFO] [stdout] test src/invariant.rs - invariant::clear_invariant_log (line 64) ... ok
[INFO] [stdout] test src/term.rs - term (line 20) ... ok
[INFO] [stdout] test src/term.rs - term::LogicError (line 78) ... ok
[INFO] [stdout] test src/invariant.rs - invariant::assert_invariant (line 110) ... ok
[INFO] [stdout] test src/parser.rs - parser::parse (line 234) ... ok
[INFO] [stdout] test src/invariant.rs - invariant (line 16) ... ok
[INFO] [stdout] test src/parser.rs - parser (line 22) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 1.06s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5f0e26d573a8f8de2dceedee8863998b821bc26c2c1e289bb3f6115681130ace", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f0e26d573a8f8de2dceedee8863998b821bc26c2c1e289bb3f6115681130ace", kill_on_drop: false }`
[INFO] [stdout] 5f0e26d573a8f8de2dceedee8863998b821bc26c2c1e289bb3f6115681130ace
